logical expression reduction